/* SPDX-License-Identifier: GPL-2.0+ */

usb_pgood_delay=250
boot_bank_flag=0x08005006
kernel_addr_r=0x88200000
